Fechar
Metadados

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/39G249P
Repositóriosid.inpe.br/mtc-m18/2011/04.11.16.38
Última Atualização2011:04.11.16.38.55 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2011/04.11.16.38.54
Última Atualização dos Metadados2021:02.11.21.05.31 (UTC) administrator
Chave de CitaçãoMoraisAmbr:2011:NeStBa
TítuloA New State-Model Based Approach for Refinement of Space Application Requirement
FormatoCD, On-line.
Ano2011
Data de Acesso04 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho158 KiB
2. Contextualização
Autor1 Morais, Marcelo Henrique Essado de
2 Ambrosio, Ana Maria
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGH7
Grupo1 ETE-ETE-INPE-MCT-BR
2 DSS-ETE-INPE-MCT-BR
Afiliação1 INPE
2 INPE
Endereço de e-Mail do Autor1 messado@dem.inpe.br
2 ana@dss.inpe.br
EditorAmbrosio, Ana Maria
Mattiello-Francisco, Maria Fátima
Batista, João Camargo
Barbosa, Raul
Cancela, Héctor
Endereço de e-Mailrizesimoes@uol.com.br
Nome do EventoLatin-American Symposium on Dependable Computing, 5 (LADC).
Localização do EventoSão José dos Campos
Data25 - 29 apr. 2011
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
VolumeSuplemental
Título do LivroProceedings
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2011-04-11 16:38:54 :: rizesimoes@uol.com.br -> administrator ::
2012-04-17 16:49:07 :: administrator -> rizesimoes@uol.com.br :: 2011
2012-04-17 16:52:42 :: rizesimoes@uol.com.br -> administrator :: 2011
2021-02-11 21:05:31 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoThis work presents a new methodology for requirement refinement. It have been developed focusing on space systems case studies, including software analysis, satellite operations modes and missions requirements. This paper describes the technique called COFI-ref (COnformance and Fault Injection for Requirement Refinement) methodology with a small example of its application and presents some lessons learned of previously results.
ÁreaETES
TipoFast Abstract
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGETE > A New State-Model...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > A New State-Model...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/04/2011 13:38 0.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP8W/39G249P
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/39G249P
Idiomaen
Arquivo Alvo5 - 81380.pdf
Grupo de Usuáriosadministrator
rizesimoes@uol.com.br
administrator
Visibilidadeshown
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUUDJE
8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 2
sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype


Fechar